synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
The Poincaré group is the isometry group of Minkowski spacetime of dimension . The classical case is , the group of affine transformations on which preserve the Minkowski "metric", i.e., the group of maps of the form such that
where the quadratic form is often called the Minkowski “norm”. The group elements are multiplied by composing maps.
The Poincaré group may also be described as a semidirect product
where , the Lorentz group, consists of all linear transformations that preserve the Minkowski inner product of signature .
This is a linear algebraic group (e.g. arXiv:0905.1217, p. 6-7).
The Lorentz group is a 6-dimensional Lie group. It has four connected components; the connected component of the identity is called the special Lorentz group and is denoted .
to itself, and the indicates of course group elements which have determinant 1 as matrices. It easily follows that elements of preserve orientation of the spatial component .
Passage between the four components of the full Lorentz group is effected by composing with a time-reversal operator
and with a spatial inversion (or parity-reversal) operator
The special Lorentz group (also called the proper, orthochronous Lorentz group: “orthochronous” here means the forward light cone is mapped to itself, and “proper” means orientation-preserving) may be analyzed further. The subgroup of that fixes the unit time-like vector
may be identified with the group of rotations , since the restriction of the Minkowski norm to the spatial component is minus the usual Euclidean norm, . This subgroup is of course 3-dimensional.
A general element may be decomposed uniquely in the form
where is a rotation and is a boost in the direction ( a unit spatial vector), mapping
for some parameter (called the rapidity), and acting as the identity on the spatial plane orthogonal to . Thus a boost is described by a pair , involving 3 parameters. (Warning: boosts do not compose to form a subgroup.) A boost can be thought of as a relativistic coordinate change from a “laboratory” frame of reference to the frame of reference of an observer moving inertially in the direction with speed (relative to the speed of light ), as measured in the laboratory frame.
We discuss aspects of the Poincaré spinor group.
The universal cover of is a double cover (the spin double cover)
constructed as follows: to each one associates a Hermitian matrix
whose determinant is the Minkowski norm of . We thus identify with the space of Hermitian matrices, and define an action of on :
Observe that belongs to . Also, since has determinant 1, so the action preserves the Minkowski norm. Therefore the action
factors through the inclusion . Furthermore, since is connected, the action factors through the connected component of . It is not hard to check that the kernel of the action is ; therefore the map
is an open homomorphism between connected Lie groups of the same dimension, and is therefore surjective. In this way, we have produced an explicit identification
which exhibits as a double cover of ; another way to say it is that is identified with the group of complex Moebius transformations. Finally, there is morphism of covering spaces
Here the inclusions are homotopy equivalences and the left projection is a universal covering map (as is simply connected), therefore is also simply connected and the projection on the right is a universal covering map. This is the spin double cover; it is crucial for getting a correct mathematical description of fermions in particle theory.
With regard to the inclusion maps above being homotopy equivalences, we remark in passing that the homogeneous space
is identified with the space of boost maps; concretely, each coset of is of the form for a unique boost map . Topologically, the space of boost maps is or a -ball, hence contractible, and from the long exact homotopy sequence applied to the fibration
we deduce that the inclusion is a homotopy equivalence.
Similarly the lift to the double covers is a homotopy equivalence. Since is identified with the space of unit quaternions, and are simply connected and hence the respective universal covering spaces of and .
As for any Lie group, there are various mechanisms for describing the Lie algebras of the Lorentz group and of the Poincaré group: by left-invariant vector fields, or by studying “infinitesimal generators” of 1-parameter subgroups, etc. We begin with the Lorentz group. See also Poincaré Lie algebra.
In the vector field picture, one often chooses a basis of the Lorentz algebra consisting of six elements: the first three
describe rotational flows (around the -, -, and -axes respectively), and the last three
describe hyperbolic or boost flows, (where the boosts are in the directions of the -, -, and -axes, respectively). One may easily compute the commutators by hand and reproduce the standard gobbledygook formula given in physics texts:
where lower-case Greek letters range over and is the matrix representing the Minkowski quadratic form.
(I could be off by a sign here. It depends on whether has one plus and three minuses, or one minus and three pluses.)
By integrating the vector fields, we obtain in each of these cases flows or 1-parameter subgroups, e.g.,
Differentiating these maps at gives matrix representations for the Lie algebra elements .
For the 10-dimensional Poincaré algebra, we need to give, in addition to infinitesimal generators for rotations and boosts, four more elements which generate translations. In the vector field picture, these Lie algebra elements are represented by
and these of course commute; the brackets with the are
Integration of the vector fields leads to the expected translations, e.g.,
The Poincaré group is basic to relativistic physics, since the fundamental principle of relativity is that physical laws are required to be invariant with respect to the action of the Poincaré group on spacetime. (There is some fine print here: in some cases, e.g., where physical laws are not invariant under space or time inversions, one must restrict to the action of the group . If one is dealing with fermions, one considers invariance with respect to an action of the universal cover .)
Such physical laws may be classical or quantum, according to the description of physical states and observables in the theory. For example, in classical mechanics, pure states correspond to points in a symplectic phase space such as the cotangent bundle of Minkowski 4-space; in quantum mechanics, pure states are described by unit vectors in a suitable Hilbert space such as . In either case, a relativistic theory will involve an action or representation of the Poincaré group, together with a structure which governs the dynamics of the theory, e.g., a Hamiltonian.
In the quantum case, a fundamental relativistic condition is that probability amplitudes , obtained by pairing an initial state with a final state , are invariant under the action of the Poincaré group. This condition says
for every in the Poincaré group. Thus the representation of the Poincaré group on Hilbert space is required to be unitary. Due to the noncompactness of the Poincaré group, unitary representations on finite-dimensional Hilbert spaces are scarce; one must really pass to unitary representations on infinite-dimensional Hilbert spaces to get anything interesting.
In particular, an elementary particle in quantum physics is sometimes defined to be an irreducible unitary representation of the Poincaré group on .
Last revised on March 26, 2019 at 14:55:12. See the history of this page for a list of all contributions to it.